(define (problem strips-mprime-x-21)
   (:domain mystery-prime-strips)
   (:objects apple muffin lemon flounder wurst okra snickers onion
             marzipan popover hamburger guava triumph satisfaction learning
             love expectation rest laceration boils anxiety dread
             abrasion jealousy prostatitis grief hangover depression angina
             anger grief-2 sciatica loneliness depression-8 hangover-3
             anger-4 angina-1 prostatitis-7 abrasion-6 loneliness-15
             sciatica-16 laceration-5 laceration-10 jealousy-11 boils-12
             anxiety-13 dread-14 boils-30 grief-31 loneliness-32 hangover-9
             abrasion-29 alsace kentucky goias mars uranus neptune saturn)
   (:init (food apple)
          (food muffin)
          (food lemon)
          (food flounder)
          (food wurst)
          (food okra)
          (food snickers)
          (food onion)
          (food marzipan)
          (food popover)
          (food hamburger)
          (food guava)
          (pleasure triumph)
          (pleasure satisfaction)
          (pleasure learning)
          (pleasure love)
          (pleasure expectation)
          (pleasure rest)
          (pain laceration)
          (pain boils)
          (pain anxiety)
          (pain dread)
          (pain abrasion)
          (pain jealousy)
          (pain prostatitis)
          (pain grief)
          (pain hangover)
          (pain depression)
          (pain angina)
          (pain anger)
          (pain grief-2)
          (pain sciatica)
          (pain loneliness)
          (pain depression-8)
          (pain hangover-3)
          (pain anger-4)
          (pain angina-1)
          (pain prostatitis-7)
          (pain abrasion-6)
          (pain loneliness-15)
          (pain sciatica-16)
          (pain laceration-5)
          (pain laceration-10)
          (pain jealousy-11)
          (pain boils-12)
          (pain anxiety-13)
          (pain dread-14)
          (pain boils-30)
          (pain grief-31)
          (pain loneliness-32)
          (pain hangover-9)
          (pain abrasion-29)
          (province alsace)
          (province kentucky)
          (province goias)
          (planet mars)
          (planet uranus)
          (planet neptune)
          (planet saturn)
          (locale apple alsace)
          (eats wurst lemon)
          (craves prostatitis-7 snickers)
          (harmony love neptune)
          (craves sciatica wurst)
          (eats snickers wurst)
          (eats wurst snickers)
          (eats popover hamburger)
          (craves hangover lemon)
          (eats popover snickers)
          (eats guava marzipan)
          (craves anger flounder)
          (eats okra hamburger)
          (craves hangover-3 okra)
          (harmony expectation neptune)
          (eats apple snickers)
          (craves angina flounder)
          (craves anger-4 okra)
          (eats wurst muffin)
          (eats lemon muffin)
          (craves boils-12 popover)
          (eats flounder wurst)
          (harmony rest uranus)
          (craves laceration-10 popover)
          (orbits uranus neptune)
          (eats onion guava)
          (eats apple flounder)
          (locale snickers goias)
          (harmony learning saturn)
          (craves boils apple)
          (craves angina-1 okra)
          (locale muffin alsace)
          (craves jealousy muffin)
          (craves loneliness-32 hamburger)
          (craves expectation okra)
          (craves triumph apple)
          (eats okra onion)
          (craves rest guava)
          (craves depression-8 okra)
          (craves prostatitis muffin)
          (eats wurst flounder)
          (locale marzipan kentucky)
          (craves anxiety-13 popover)
          (craves depression lemon)
          (craves satisfaction muffin)
          (craves laceration apple)
          (eats hamburger popover)
          (craves dread-14 popover)
          (eats lemon wurst)
          (harmony triumph neptune)
          (attacks alsace kentucky)
          (locale hamburger kentucky)
          (eats apple lemon)
          (eats flounder apple)
          (craves laceration-5 marzipan)
          (locale onion alsace)
          (craves abrasion muffin)
          (craves loneliness wurst)
          (craves loneliness-15 marzipan)
          (eats muffin wurst)
          (eats onion okra)
          (craves grief-31 hamburger)
          (eats marzipan guava)
          (eats snickers apple)
          (craves love flounder)
          (craves abrasion-6 onion)
          (craves jealousy-11 popover)
          (locale popover goias)
          (eats snickers marzipan)
          (harmony satisfaction saturn)
          (craves learning lemon)
          (craves grief muffin)
          (orbits mars uranus)
          (orbits neptune saturn)
          (locale wurst alsace)
          (eats hamburger okra)
          (eats lemon apple)
          (eats marzipan snickers)
          (locale guava kentucky)
          (craves boils-30 hamburger)
          (eats snickers popover)
          (locale okra goias)
          (eats muffin lemon)
          (locale flounder kentucky)
          (craves dread muffin)
          (locale lemon kentucky)
          (eats guava onion)
          (craves anxiety apple)
          (craves hangover-9 hamburger)
          (craves sciatica-16 marzipan)
          (craves grief-2 wurst)
          (attacks kentucky goias)
          (craves abrasion-29 guava))
   (:goal (and (craves sciatica apple))))